81. Mathematical foundations of computer science 2003 :
Author: Krzysztof Diks and Wojciech Rytter (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.
82. Mathematical foundations of computer science 200
Author: / Edward Ochmaanski, Jerzy Tyszkiewicz (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics--Congresses,Computer programming--Congresses,Algorithms--Congresses,Computable functions--Congresses,Machine theory--Congresses
83. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
Author: M. Main...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
298
84. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M378
1988
85. Mathematical foundations of programming semantics :
Author: M. Main, A. Melton, M. Mislove ... [et al.], eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
Classification :
QA76
.
7
M535
1990
86. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author: M. Main...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
442
87. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M38
1990
88. Mathematical foundations of software development
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development-- mathematics--congresses,، Trees)Graph theory(--congresseses,، Algebra--Congresses,، Programming)Electronic computers(--Congresses
Classification :
QA
76
.
76
.
D47
.
I57
1985
vol
.
1
89. Mathematics of Program Construction
Author: \ Ralf Hinze , Janis Voigtländer (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer programming -- Mathematics -- Congresses.,Computer programs -- Mathematics -- Congresses.,Logics and Meanings of Programs.,برنامهنویسی -- ریاضیات -- کنگره ها ,برنامههای کامپیوتری -- ریاضیات -- کنگره ها
Classification :
QA
75
.
5
.
M32
2015
E-Book
,
90. Mathematics of program constructio
Author: / Philippe Audebaud, Christine Paulin-Mohring (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programming--Congresses,Computer science--Mathematics--Congresses,Electronic books.
Classification :
QA
,
76
.
6
,.
I5535
,
2008eb
91. Mathematics of program construction
Author: / Eerke A. Boiten, Bernhard M?�ller (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programming--Congresses,Computer science--Mathematics--Congresses
Classification :
QA
,
76
.
6
,.
M6926
,
2002
92. Mathematics of program construction
Author: / Roland Backhouse, Josae Nuno Oliveira (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programming--Congresses,Computer science--Mathematics--Congresses
Classification :
QA
,
76
.
6
,.
I5535
,
2000
93. Mathematics of program construction :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer programming ; Congresses ; Computer science ; Mathematics ; Congresses ;
94. Mathematics of program construction
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
95. Mathematics of program construction
Author: Jeremy Gibbons, Pablo Nogueira (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming-- Mathematics, Congresses,Computer programs-- Mathematics, Congresses
Classification :
QA76
.
6
.
M6926
2012eb
96. Mathematics of program construction
Author: Ronald Back house Jose Nuno oliveria
Library: Vali Asr University Central Library (Kerman)
Subject: Electronic digital computers-programming-congresses,computer science-mathematics-congresses
Classification :
QA
76
.
6
.
M2
2000
97. Mathematics of program construction :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer programming ; Congresses ; Computer science ; Mathematics ; Congresses ;
98. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
6
.
M367
1993
99. Mathematics of program construction : Second International Conference, Oxford, U.K., June/ July 1992 : processing
Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
669
100. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
Classification :
QA
76
.
L4
v
.
669
